Filters








22,683 Hits in 4.1 sec

COMPLEXITY OF VERIFYING JAVA SHARED MEMORY EXECUTION

ALEX GONTMAKHER, SERGEY POLYAKOV, ASSAF SCHUSTER
2003 Parallel Processing Letters  
This paper studies the problem of testing shared memory Java implementations to determine whether the memory behavior they provide is consistent. The complexity of the task is analyzed.  ...  The problem is defined as that of analyzing memory access traces.  ...  We define the problem of verifying Java N P S consistency of shared-memory execution (VJC P S ) as follows.  ... 
doi:10.1142/s0129626403001628 fatcat:et3oicw6drexjbk65mihf2lbl4

Comparing Java and .NET security: Lessons learned and missed

Nathanael Paul, David Evans
2006 Computers & security  
Both platforms share many design and implementation properties, but there are key differences between Java and .NET that have an impact on their security.  ...  Sun introduced the Java VM in 1995, primarily intended as a lightweight platform for executing untrusted code inside web pages.  ...  Several vulnerabilities have been found in Java verifiers due to the complexity of the jsr instruction.  ... 
doi:10.1016/j.cose.2006.02.003 fatcat:h5ysmdmalvcpflaulptxfm547i

A PRET architecture supporting concurrent programs with composable timing properties

Isaac Liu, Jan Reineke, Edward A. Lee
2010 2010 Conference Record of the Forty Fourth Asilomar Conference on Signals, Systems and Computers  
It decouples execution of multiple hardware contexts on a shared hardware platform, which allows for a straight forward integration of different functions onto a shared platform.  ...  For real time safety critical applications, the ability to separately verify timing properties of functions is important.  ...  The execution history may thus contains memory accesses of previously executed tasks, and, in case of a shared cache on a multi-core system, of memory accesses by concurrently running tasks.  ... 
doi:10.1109/acssc.2010.5757922 fatcat:tbqmh3mmjngq3f5gwi75mcugky

New security issues raised by open cards

Pierre Girard, Jean-Louis Lanet
1999 Information Security Technical Report  
The methods, languages and tools for developing a smart card system share some characteristics with those of the embedded domain.  ...  They contain a platform for dynamic (i.e., on demand) storage and execution of downloaded executable content, which is based on a virtual machine for portability across multiple smart card microcontrollers  ...  Actually, most of multi-application smart cards, in order to build cooperative schemes and optimize memory usage, allow data and service sharing (i.e., objects sharing) between applications.  ... 
doi:10.1016/s0167-4048(99)80011-9 fatcat:men54o35djec7dfobxyz236qyu

New security issues raised by open cards

Pierre Girard, Jean-Louis Lanet
1999 Information Security Technical Report  
The methods, languages and tools for developing a smart card system share some characteristics with those of the embedded domain.  ...  They contain a platform for dynamic (i.e., on demand) storage and execution of downloaded executable content, which is based on a virtual machine for portability across multiple smart card microcontrollers  ...  Actually, most of multi-application smart cards, in order to build cooperative schemes and optimize memory usage, allow data and service sharing (i.e., objects sharing) between applications.  ... 
doi:10.1016/s1363-4127(99)80019-3 fatcat:nocbinlh4bhpxjz6jvuv23f7zy

Specifying multithreaded Java semantics for program verification

Abhik Roychoudhury, Tulika Mitra
2002 Proceedings of the 24th international conference on Software engineering - ICSE '02  
However, the Java language specification (which any implementations of Java multithreading must follow) supports a weaker model of execution, called the Java Memory Model (JMM).  ...  The Java programming language supports multithreading where the threads interact among themselves via read/write of shared data.  ...  VERIFYING PROGRAMS In this section, we discuss how our executable Java Memory Model can be used for verifying concurrent Java programs.  ... 
doi:10.1145/581339.581399 dblp:conf/icse/RoychoudhuryM02 fatcat:l5kc477hmndznjdrkx3n3tujfa

Specifying multithreaded Java semantics for program verification

Abhik Roychoudhury, Tulika Mitra
2002 Proceedings of the 24th international conference on Software engineering - ICSE '02  
However, the Java language specification (which any implementations of Java multithreading must follow) supports a weaker model of execution, called the Java Memory Model (JMM).  ...  The Java programming language supports multithreading where the threads interact among themselves via read/write of shared data.  ...  VERIFYING PROGRAMS In this section, we discuss how our executable Java Memory Model can be used for verifying concurrent Java programs.  ... 
doi:10.1145/581396.581399 fatcat:or6fgdk6xvhpzcaxizazvtmch4

Model Checking of Concurrent Algorithms: From Java to C [chapter]

Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto
2010 IFIP Advances in Information and Communication Technology  
We argue that compared to C programs, the virtual machine architecture of Java, combined with the absence of direct low-level memory access, lends itself to software model checking using a virtual machine  ...  Because of this, we found it beneficial to prototype a concurrent algorithm in Java, and use the richer feature set of a Java model checker, before moving our implementation to C.  ...  Threads Both in Java and C, threads are independent units of execution, sharing global memory.  ... 
doi:10.1007/978-3-642-15234-4_10 fatcat:bzafbsqflfehxeh4n6nsbvjppe

Certifiable Java for Embedded Systems

Martin Schoeberl, Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Stephan E. Korsholm, Anders P. Ravn, Juan Ricardo Rios Rivas, Tórur Biskopstø Strøm, Hans Søndergaard
2014 Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES '14  
There are three core constituents: A profile of the Java programming language that is tailored for safety-critical applications, a predictable Java processor built with FPGA technology, and an Eclipse  ...  In the conclusion the overall result of the project is assessed.  ...  Acknowledgment This work is part of the project "Certifiable Java for Embedded Systems" (CJ4ES) and has received partial funding from the Danish Research Council for Technology and Production Sciences  ... 
doi:10.1145/2661020.2661025 dblp:conf/jtres/SchoeberlDHKRRSS14 fatcat:mxmr4swd3nd7ljcjuagcitqeyi

Analysing Java's safety guarantees under concurrency

Andreas Lochbihler
2014 it - Information Technology  
As a result, this work clarifies the specification of the Java memory model.  ...  Our analysis, however, revealed a weakness in the Java security architecture, because the Java memory model theoretically allows pointer forgery.  ...  Java was the first main-stream programming language to embrace shared-memory concurrency with a well-defined semantics.  ... 
doi:10.1515/itit-2013-1037 fatcat:o456tjsfafearjrrjgjisug64q

A Time Predictable Java Processor

M. Schoeberl
2006 Proceedings of the Design Automation & Test in Europe Conference  
This paper presents a Java processor, called JOP, designed for time-predictable execution of real-time tasks. JOP is the implementation of the Java virtual machine in hardware.  ...  We propose a processor architecture that favors low worst-case execution time (WCET) over average case performance. The resulting processor is an easy target for the low-level WCET analysis.  ...  execution of Java programs.  ... 
doi:10.1109/date.2006.244146 dblp:conf/date/Schoeberl06 fatcat:ime3il2eg5blxikhlu6xjvkr3m

Viser: providing serializability in hardware with simplified cache coherence

Swarnendu Biswas
2015 Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2015  
Moreover, current shared memory systems implement complex cache coherence protocols which add to the complexity.  ...  This work proposes a microarchitecture, called Viser, that ensures strong semantics-serializability of synchronizationfree regions (SFRs)-in the absence of region conflicts even for racy program executions  ...  In addition, the performance and scalability of current shared-memory multiprocessor systems are limited by complex cache coherence protocols [3] .  ... 
doi:10.1145/2814189.2815375 dblp:conf/oopsla/Biswas15 fatcat:jwvxznfazne6rcj6o3tfm73wgu

From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper)

Wanli Chang, Shuai Zhao, Ran Wei, Andy Wellings, Alan Burns
2019 Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems - LCTES 2019  
This paper utilises the principles of model-driven engineering (MDE) and proposes the irst methodology that automatically converts standard time-sharing Java applications to real-time Java applications  ...  Real-time systems are receiving increasing attention with the emerging application scenarios that are safety-critical, complex in functionality, high on timing-related performance requirements, and cost-sensitive  ...  as executing in Heap memory will sufer from unpredictable interference of standard Java garbage collector.  ... 
doi:10.1145/3316482.3326360 dblp:conf/lctrts/ChangZWWB19 fatcat:u53te4n355a7vicziracag4cgy

Plan B

Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek
2013 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13  
The Java Memory Model is an ambitious attempt at specifying the behavior of multithreaded programs in a portable, hardware agnostic, way.  ...  While experts have an intuitive grasp of the properties that the model should enjoy, the specification is complex and not well-suited for integration within a verifying compiler infrastructure.  ...  Although we expected Java to be a challenge because of the complexity of the transformations used in high-performance virtual machines like Fiji, the Java memory model [24] also complicates the task  ... 
doi:10.1145/2429069.2429110 dblp:conf/popl/DemangeLZJPV13 fatcat:36acba3iezbkbhyjnncoy5bveq

Plan B

Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek
2013 SIGPLAN notices  
The Java Memory Model is an ambitious attempt at specifying the behavior of multithreaded programs in a portable, hardware agnostic, way.  ...  While experts have an intuitive grasp of the properties that the model should enjoy, the specification is complex and not well-suited for integration within a verifying compiler infrastructure.  ...  Although we expected Java to be a challenge because of the complexity of the transformations used in high-performance virtual machines like Fiji, the Java memory model [24] also complicates the task  ... 
doi:10.1145/2480359.2429110 fatcat:qvfr5xdhkjbn7dfp52fl3xbrya
« Previous Showing results 1 — 15 out of 22,683 results